COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 perm avec co-post-recs 
C00003 ENDMK
C⊗;
; perm avec co-post-recs ;
 
(DE PERMS (N TRC) (F 0 NIL))

(DE F (NIV E)
   (IF (< NIV N)
	(H (ADD1 NIV) (CONS 1 E))
	(OR TRC (PRINT (REVERSE E)))
	(G NIV (CAR E) (CDR E))))

(DE G (NIV X E)
   (IF (= X N)
      (IF E
	(G (SUB1 NIV) (CAR E) (CDR E))
	'FINI)
      (H NIV (CONS (ADD1 X) E))))

(DE H (NIV E)
   (IF (MEMQ (CAR E) (CDR E))
      (G NIV (CAR E) (CDR E))
      (F NIV E)))

(DE PERMSALL (NB)
   (SETQ PERMS 0)
   (DE ESCAPE.I () (REMPROP 'ESCAPE.I 'EXPR) (FIN 'FINI))
   (ESCAPE FIN
      (WHILE T
	(PRINT (INCR NB) (DATE) (TIME))
	(PERMS NB T))))))))

(PRINT " (PERMS n trace) or (PERMSALL) ")